<html>
<head><meta charset="utf-8"><title>meeting 2020-07-07 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html">meeting 2020-07-07</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="203086605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203086605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203086605">(Jul 07 2020 at 10:24)</a>:</h4>
<p>(Hey all, I can't make the meeting today due to a last-minute conflict; I <em>may</em> be  able to loosely monitor Zulip, but prob not much)</p>



<a name="203129631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203129631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203129631">(Jul 07 2020 at 16:55)</a>:</h4>
<p>That's okay. We aren't having a full meeting today anyways. It'll mostly just be me recapping the sprint as I write a blog post</p>



<a name="203195555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195555">(Jul 07 2020 at 20:00)</a>:</h4>
<p>Ok meeting time :)</p>



<a name="203195566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195566">(Jul 07 2020 at 20:00)</a>:</h4>
<p>"meeting"</p>



<a name="203195607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195607">(Jul 07 2020 at 20:00)</a>:</h4>
<p>I won't ping the entire group, since this is going to be super informal</p>



<a name="203195619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195619">(Jul 07 2020 at 20:01)</a>:</h4>
<p>Sounds good</p>



<a name="203195671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195671">(Jul 07 2020 at 20:01)</a>:</h4>
<p>I guess, a couple things to do today</p>



<a name="203195696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195696">(Jul 07 2020 at 20:01)</a>:</h4>
<p>It is the last day of the sprint :)</p>



<a name="203195724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195724">(Jul 07 2020 at 20:02)</a>:</h4>
<p>link: <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg">https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg</a></p>



<a name="203195804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195804">(Jul 07 2020 at 20:02)</a>:</h4>
<p>looking through the PRs merged in the last week...</p>



<a name="203195920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195920">(Jul 07 2020 at 20:03)</a>:</h4>
<p>we now have enum support :)</p>



<a name="203195945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195945">(Jul 07 2020 at 20:03)</a>:</h4>
<p>and type outlives</p>



<a name="203195999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203195999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203195999">(Jul 07 2020 at 20:04)</a>:</h4>
<p>huh, I missed the enums part</p>



<a name="203196071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196071">(Jul 07 2020 at 20:04)</a>:</h4>
<p>that's super nice because it means that we no longer need to do <em>any</em> special handling in rustc for typenames</p>



<a name="203196106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196106">(Jul 07 2020 at 20:05)</a>:</h4>
<p>Oh right, that's part of the adt stuff</p>



<a name="203196107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196107">(Jul 07 2020 at 20:05)</a>:</h4>
<p>And means we can remove the <code>force_impl_for</code> function</p>



<a name="203196120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196120">(Jul 07 2020 at 20:05)</a>:</h4>
<p>let me file an issue for that so it doesn't get lost</p>



<a name="203196306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196306">(Jul 07 2020 at 20:06)</a>:</h4>
<p>Okay, let's go over open PRs again</p>



<a name="203196324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196324">(Jul 07 2020 at 20:06)</a>:</h4>
<p>I also tried out the .chalk writer support in RA and tackled some low-hanging fruit, though for real integration we'll have to wait until RA updates to the latest chalk version</p>



<a name="203196344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196344">(Jul 07 2020 at 20:07)</a>:</h4>
<p>for the placeholders?</p>



<a name="203196363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196363">(Jul 07 2020 at 20:07)</a>:</h4>
<p>yeah</p>



<a name="203196380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196380">(Jul 07 2020 at 20:07)</a>:</h4>
<p>that made it into the latest release, yeah?</p>



<a name="203196410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196410">(Jul 07 2020 at 20:07)</a>:</h4>
<p>Yeah I'm pretty sure it did</p>



<a name="203196466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196466">(Jul 07 2020 at 20:08)</a>:</h4>
<p>yes</p>



<a name="203196471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196471">(Jul 07 2020 at 20:08)</a>:</h4>
<p>great</p>



<a name="203196493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196493">(Jul 07 2020 at 20:08)</a>:</h4>
<p>I actually tried to use it for rustc</p>



<a name="203196510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196510">(Jul 07 2020 at 20:08)</a>:</h4>
<p>but actually ran into an issue with <code>compiletest</code></p>



<a name="203196544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196544">(Jul 07 2020 at 20:08)</a>:</h4>
<p>and json parsing</p>



<a name="203196630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196630">(Jul 07 2020 at 20:09)</a>:</h4>
<p>Actually, that reminds me</p>



<a name="203196640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196640">(Jul 07 2020 at 20:09)</a>:</h4>
<p>about <code>tracing</code></p>



<a name="203196682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196682">(Jul 07 2020 at 20:09)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> brought up that <code>tracing</code> dependency might be a bit heavy</p>



<a name="203196698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196698">(Jul 07 2020 at 20:09)</a>:</h4>
<p>so maybe we should discuss this</p>



<a name="203196798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196798">(Jul 07 2020 at 20:10)</a>:</h4>
<p>They were open to adding feature flags to solve that</p>



<a name="203196808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196808">(Jul 07 2020 at 20:10)</a>:</h4>
<p>There should be a <code>tracing-core</code> crate, are we using more than we need in the library-like code vs the <code>chalk</code> crate?</p>



<a name="203196849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196849">(Jul 07 2020 at 20:11)</a>:</h4>
<p>(unless it's the <code>tracing-core</code> crate which is heavy)</p>



<a name="203196859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196859">(Jul 07 2020 at 20:11)</a>:</h4>
<p>so, I'm wondering exactly what the problem is</p>



<a name="203196876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196876">(Jul 07 2020 at 20:11)</a>:</h4>
<p>So as I understand it, the issue isn't just the crates themselves are heavy</p>



<a name="203196966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203196966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203196966">(Jul 07 2020 at 20:12)</a>:</h4>
<p>It's that <code>tracing</code> calls themselves make a lot of work for LLVM</p>



<a name="203197025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197025">(Jul 07 2020 at 20:12)</a>:</h4>
<p>The problem is that monomorphization is being done in the wrong crate, causing many duplicates</p>



<a name="203197093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197093">(Jul 07 2020 at 20:13)</a>:</h4>
<p>ah</p>



<a name="203197110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197110">(Jul 07 2020 at 20:13)</a>:</h4>
<p>so, is there anything <em>we</em> need to be doing</p>



<a name="203197225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197225">(Jul 07 2020 at 20:14)</a>:</h4>
<p>Also, what all is in <code>tracing</code> that isn't in <code>tracing-core</code>?</p>



<a name="203197236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197236">(Jul 07 2020 at 20:14)</a>:</h4>
<p>in other words, should we use <code>tracing-core</code> instead</p>



<a name="203197298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197298">(Jul 07 2020 at 20:15)</a>:</h4>
<p>I think that <code>tracing-core</code> is pretty low-level</p>



<a name="203197303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197303">(Jul 07 2020 at 20:15)</a>:</h4>
<p>From tracing-core's readme:</p>
<blockquote>
<p>Application authors will typically not use this crate directly. Instead, they will use the tracing crate, which provides a much more fully-featured API. However, this crate's API will change very infrequently, so it may be used when dependencies must be very stable</p>
</blockquote>



<a name="203197352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197352">(Jul 07 2020 at 20:15)</a>:</h4>
<p>But I'm not sure whether the problem was in <code>tracing</code> or <code>tracing-core</code></p>



<a name="203197409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197409">(Jul 07 2020 at 20:16)</a>:</h4>
<p>yeah, indeed <code>debug</code> and such is in <code>tracing</code></p>



<a name="203197469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197469">(Jul 07 2020 at 20:16)</a>:</h4>
<p><a href="https://github.com/tokio-rs/tracing/issues/783">https://github.com/tokio-rs/tracing/issues/783</a></p>



<a name="203197479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197479">(Jul 07 2020 at 20:16)</a>:</h4>
<p>The only thing I can think of (on our end) would be to conditionally compile the macro invocations</p>



<a name="203197485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197485">(Jul 07 2020 at 20:17)</a>:</h4>
<p>Looks like the problem is in <code>tracing-core</code></p>



<a name="203197491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197491">(Jul 07 2020 at 20:17)</a>:</h4>
<p>Which is doable but kinda gross</p>



<a name="203197521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197521">(Jul 07 2020 at 20:17)</a>:</h4>
<p>yeah, I think the gist I'm getting is there's nothing we can/should do, <em>right now</em></p>



<a name="203197557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197557">(Jul 07 2020 at 20:17)</a>:</h4>
<p>I'll keep an eye on this though</p>



<a name="203197612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197612">(Jul 07 2020 at 20:18)</a>:</h4>
<p>Hmm, using <code>tracing-core</code> directly might cause less duplicates, not sure</p>



<a name="203197654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197654">(Jul 07 2020 at 20:18)</a>:</h4>
<p>let's move on?</p>



<a name="203197669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197669">(Jul 07 2020 at 20:18)</a>:</h4>
<p>okay, open PRs</p>



<a name="203197690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197690">(Jul 07 2020 at 20:19)</a>:</h4>
<p>just want to get a sense if anything has changed</p>



<a name="203197723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197723">(Jul 07 2020 at 20:19)</a>:</h4>
<p>sem-syn equality, I don't think is <em>blocked</em> anymore, but no updates</p>



<a name="203197742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197742">(Jul 07 2020 at 20:19)</a>:</h4>
<p>opaque types</p>



<a name="203197755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197755">(Jul 07 2020 at 20:19)</a>:</h4>
<p>wasn't there another PR...</p>



<a name="203197778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197778">(Jul 07 2020 at 20:20)</a>:</h4>
<p>Ah yes, I closed that one because it was very WIP</p>



<a name="203197856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197856">(Jul 07 2020 at 20:20)</a>:</h4>
<p>ah okay</p>



<a name="203197876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197876">(Jul 07 2020 at 20:20)</a>:</h4>
<p>But Niko is helping out by writing docs and thus clarifying the design</p>



<a name="203197896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197896">(Jul 07 2020 at 20:20)</a>:</h4>
<p>I saw :) that's excellent</p>



<a name="203197910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197910">(Jul 07 2020 at 20:20)</a>:</h4>
<p>seems it's been stalled for a while</p>



<a name="203197934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197934">(Jul 07 2020 at 20:21)</a>:</h4>
<p>subtyping/variance: I think this is probably like 90% there. Needs docs and tests</p>



<a name="203197959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197959">(Jul 07 2020 at 20:21)</a>:</h4>
<p>And the generalization</p>



<a name="203197994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203197994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203197994">(Jul 07 2020 at 20:21)</a>:</h4>
<p>Which I think Niko said he would take a stab at porting from rustc</p>



<a name="203198017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198017">(Jul 07 2020 at 20:22)</a>:</h4>
<p>(though I'll have to be sure to keep bugging him about it)</p>



<a name="203198118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198118">(Jul 07 2020 at 20:22)</a>:</h4>
<p>negative cycles. I think this is probably going to be closed and changed to not allowing negative cycles in the recursive solver</p>



<a name="203198124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198124">(Jul 07 2020 at 20:22)</a>:</h4>
<p>but no new movement</p>



<a name="203198190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198190">(Jul 07 2020 at 20:23)</a>:</h4>
<p>Looks like <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> just rebased the recursive solver split PR</p>



<a name="203198199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198199">(Jul 07 2020 at 20:23)</a>:</h4>
<p>so I'll have to take a look</p>



<a name="203198286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198286">(Jul 07 2020 at 20:24)</a>:</h4>
<p>and then there's <code>chalk/#555</code></p>



<a name="203198320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198320">(Jul 07 2020 at 20:24)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/555">chalk#555</a></p>



<a name="203198335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198335">(Jul 07 2020 at 20:24)</a>:</h4>
<p>weird, it didn't link</p>



<a name="203198345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198345">(Jul 07 2020 at 20:24)</a>:</h4>
<p>chalk/#555</p>



<a name="203198355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198355">(Jul 07 2020 at 20:24)</a>:</h4>
<p>huh</p>



<a name="203198359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198359">(Jul 07 2020 at 20:24)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/555">chalk#555</a></p>



<a name="203198371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198371">(Jul 07 2020 at 20:25)</a>:</h4>
<p>oh</p>



<a name="203198377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198377">(Jul 07 2020 at 20:25)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/555">chalk#555</a></p>



<a name="203198388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198388">(Jul 07 2020 at 20:25)</a>:</h4>
<p>oops</p>



<a name="203198411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198411">(Jul 07 2020 at 20:25)</a>:</h4>
<p>hehe, you got me confused for a second there</p>



<a name="203198426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198426">(Jul 07 2020 at 20:25)</a>:</h4>
<p>yeah so <span class="user-mention" data-user-id="129457">@Florian Diebold</span>, around?</p>



<a name="203198431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198431">(Jul 07 2020 at 20:25)</a>:</h4>
<p>I did a ninja edit</p>



<a name="203198454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198454">(Jul 07 2020 at 20:25)</a>:</h4>
<p>so I guess there's two separate discussions here</p>



<a name="203198471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198471">(Jul 07 2020 at 20:25)</a>:</h4>
<p>yeah I'm around</p>



<a name="203198534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198534">(Jul 07 2020 at 20:26)</a>:</h4>
<p>1) Should we flounder for a <code>non_enumerable</code> trait for int/float vars</p>



<a name="203198549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198549">(Jul 07 2020 at 20:26)</a>:</h4>
<p>Which I think is solidly "no"</p>



<a name="203198568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198568">(Jul 07 2020 at 20:26)</a>:</h4>
<p>But</p>



<a name="203198598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198598">(Jul 07 2020 at 20:26)</a>:</h4>
<p>2) should we instantiate vars before getting program clauses</p>



<a name="203198671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198671">(Jul 07 2020 at 20:27)</a>:</h4>
<p>So, I'm not quite sure if <span class="user-mention" data-user-id="116009">@nikomatsakis</span> had specific reasoning for why he thinks we should ask for program clauses <em>before</em> instantiating</p>



<a name="203198782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198782">(Jul 07 2020 at 20:28)</a>:</h4>
<p>but seems like there are two courses of action moving forward: 1) Modify SLG solver to ask for clauses before instantiation 2) Pass the binders when getting program clauses</p>



<a name="203198880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203198880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203198880">(Jul 07 2020 at 20:30)</a>:</h4>
<p>As a side thought, I have no intuition about where things are in the recursive solver</p>



<a name="203199054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199054">(Jul 07 2020 at 20:31)</a>:</h4>
<p>Anyways, this is probably something to talk more about when Niko is around</p>



<a name="203199079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199079">(Jul 07 2020 at 20:31)</a>:</h4>
<p>Okay, so those are the open PRs</p>



<a name="203199133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199133">(Jul 07 2020 at 20:32)</a>:</h4>
<p>At this point, I'll probably just go over the sprint doc</p>



<a name="203199152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199152">(Jul 07 2020 at 20:32)</a>:</h4>
<p>And start writing the blog post</p>



<a name="203199176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199176">(Jul 07 2020 at 20:32)</a>:</h4>
<p>we could just pass binders to the clauses code and avoid doing 1), I guess. I'm fine with trying to keep big refactorings separate in any case</p>



<a name="203199185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199185">(Jul 07 2020 at 20:32)</a>:</h4>
<p>Hackmd doc for anyone who might want to contribute: <a href="https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ">https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ</a></p>



<a name="203199274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199274">(Jul 07 2020 at 20:33)</a>:</h4>
<p>I think we <em>should</em> move the recursive solver and SLG to do the same thing in this regard</p>



<a name="203199279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199279">(Jul 07 2020 at 20:33)</a>:</h4>
<p>either way</p>



<a name="203199343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199343">(Jul 07 2020 at 20:34)</a>:</h4>
<p>but it can be in steps if that's more helpful</p>



<a name="203199591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199591">(Jul 07 2020 at 20:36)</a>:</h4>
<p>Ok sprint goals:</p>



<a name="203199613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199613">(Jul 07 2020 at 20:37)</a>:</h4>
<h1>chalk crate structure and publishing</h1>



<a name="203199636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199636">(Jul 07 2020 at 20:37)</a>:</h4>
<p>We got a lot accomplished here</p>



<a name="203199691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199691">(Jul 07 2020 at 20:37)</a>:</h4>
<p>I think the recursive split will be done before the blog post happens</p>



<a name="203199746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199746">(Jul 07 2020 at 20:38)</a>:</h4>
<p>So the only thing we <em>didn't</em> do is setup bors</p>



<a name="203199808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199808">(Jul 07 2020 at 20:38)</a>:</h4>
<p>The weekly releases are nice.</p>



<a name="203199834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199834">(Jul 07 2020 at 20:39)</a>:</h4>
<p>But I do understand that in the long term, we don't want to keep that</p>



<a name="203199874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199874">(Jul 07 2020 at 20:39)</a>:</h4>
<p>I wish there was a nice way to manually initiate github actions</p>



<a name="203199915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199915">(Jul 07 2020 at 20:39)</a>:</h4>
<p>I guess there is a way to respond to API events</p>



<a name="203199936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199936">(Jul 07 2020 at 20:39)</a>:</h4>
<p>so we could set up a "button" <em>elsewhere</em></p>



<a name="203199990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203199990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203199990">(Jul 07 2020 at 20:40)</a>:</h4>
<p>that's not great though</p>



<a name="203200000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200000">(Jul 07 2020 at 20:40)</a>:</h4>
<p>Or something like bors</p>



<a name="203200086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200086">(Jul 07 2020 at 20:40)</a>:</h4>
<p>Hmm, yeah</p>



<a name="203200107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200107">(Jul 07 2020 at 20:41)</a>:</h4>
<p>But I guess the same issue applies</p>



<a name="203200121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200121">(Jul 07 2020 at 20:41)</a>:</h4>
<p>i.e. <em>where</em> do you initiate that</p>



<a name="203200213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200213">(Jul 07 2020 at 20:42)</a>:</h4>
<p>An alternative would be we could just provide a <code>release.sh</code> script</p>



<a name="203200228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200228">(Jul 07 2020 at 20:42)</a>:</h4>
<p>But I don't really like that</p>



<a name="203200247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200247">(Jul 07 2020 at 20:42)</a>:</h4>
<p>For now, the current approach works fine</p>



<a name="203200269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200269">(Jul 07 2020 at 20:42)</a>:</h4>
<p>indeed</p>



<a name="203200316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200316">(Jul 07 2020 at 20:43)</a>:</h4>
<p>(okay, now is the point where I'm gonna write some of the blog post)</p>



<a name="203200340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203200340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203200340">(Jul 07 2020 at 20:43)</a>:</h4>
<p>Also, this will most certainly go past the hour</p>



<a name="203202352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202352">(Jul 07 2020 at 21:00)</a>:</h4>
<p>Okay, next goal</p>



<a name="203202354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202354">(Jul 07 2020 at 21:00)</a>:</h4>
<h1>improve caching strategy for recursive solver</h1>



<a name="203202405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202405">(Jul 07 2020 at 21:01)</a>:</h4>
<p>I think this ended up being mostly design work</p>



<a name="203202457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202457">(Jul 07 2020 at 21:01)</a>:</h4>
<p>I'll probably just mention it briefly at the end</p>



<a name="203202526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202526">(Jul 07 2020 at 21:02)</a>:</h4>
<h1>GAT support in rustc</h1>



<a name="203202600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202600">(Jul 07 2020 at 21:02)</a>:</h4>
<p>Ah yes, the co-option (co-optation?) of <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>  into wg-traits</p>



<a name="203202654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202654">(Jul 07 2020 at 21:03)</a>:</h4>
<p>I think this is something many will love to see</p>



<a name="203202879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203202879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203202879">(Jul 07 2020 at 21:05)</a>:</h4>
<p>GATs or me? <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="203203001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203203001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203203001">(Jul 07 2020 at 21:06)</a>:</h4>
<p>Well, I <em>was</em> talking about GATs, but everyone loves to see you too <span aria-label="hearts" class="emoji emoji-2665" role="img" title="hearts">:hearts:</span></p>



<a name="203206053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203206053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203206053">(Jul 07 2020 at 21:33)</a>:</h4>
<h1>Extracting a shared library representing types</h1>



<a name="203206092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203206092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203206092">(Jul 07 2020 at 21:33)</a>:</h4>
<p>So, parts of this can also fall under the previous topic</p>



<a name="203207745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207745">(Jul 07 2020 at 21:50)</a>:</h4>
<h1>increase Chalk performance</h1>



<a name="203207795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207795">(Jul 07 2020 at 21:50)</a>:</h4>
<p>Not even sure if this is worth mentioning</p>



<a name="203207810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207810">(Jul 07 2020 at 21:50)</a>:</h4>
<p>Might tack on <code>tracing</code> support near the end</p>



<a name="203207821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207821">(Jul 07 2020 at 21:50)</a>:</h4>
<h1>experiments</h1>



<a name="203207833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207833">(Jul 07 2020 at 21:50)</a>:</h4>
<p>(equivalence edges)</p>



<a name="203207839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203207839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203207839">(Jul 07 2020 at 21:50)</a>:</h4>
<p>Nothing done, not going to mention</p>



<a name="203208512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203208512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203208512">(Jul 07 2020 at 21:58)</a>:</h4>
<h1>Writing a .chalk file</h1>



<a name="203208563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203208563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203208563">(Jul 07 2020 at 21:58)</a>:</h4>
<p>This is cool, definitely going to mention</p>



<a name="203209148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203209148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203209148">(Jul 07 2020 at 22:03)</a>:</h4>
<h1>improve opaque types support</h1>



<a name="203209209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203209209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203209209">(Jul 07 2020 at 22:04)</a>:</h4>
<p>Worth mentioning I think that there's a PR and some design work being done.</p>



<a name="203209551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203209551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203209551">(Jul 07 2020 at 22:08)</a>:</h4>
<h1>extend chalk to support Rust semantics</h1>



<a name="203209586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203209586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203209586">(Jul 07 2020 at 22:08)</a>:</h4>
<p>Ugh, it's so hard to distinguish this and "extracting a shared type library"</p>



<a name="203210611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203210611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203210611">(Jul 07 2020 at 22:21)</a>:</h4>
<h1>Handle region constraints in rustc integration</h1>



<a name="203210621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203210621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203210621">(Jul 07 2020 at 22:21)</a>:</h4>
<p>Well, this is going to be hard to explain</p>



<a name="203212880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203212880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Barsky <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203212880">(Jul 07 2020 at 22:51)</a>:</h4>
<p>re: <code>tracing</code>, we can prioritize this fix: <a href="https://github.com/tokio-rs/tracing/issues/783#issuecomment-654990799">https://github.com/tokio-rs/tracing/issues/783#issuecomment-654990799</a> and see if it'll improve the llvm lines situation for rust-analyzer. as for tracing-core; i don't suggest using it as it's pretty low-level and you'd still have the monomorphization issue.</p>



<a name="203213085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203213085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Barsky <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203213085">(Jul 07 2020 at 22:53)</a>:</h4>
<p>(but i'm glad y'all came to that resolution, i realize now, as I re-read the stream...)</p>



<a name="203213752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203213752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203213752">(Jul 07 2020 at 23:01)</a>:</h4>
<p>Phew okay blog post is written. Comments appreciated if anyone has any: <a href="https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ">https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ</a></p>



<a name="203213869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203213869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203213869">(Jul 07 2020 at 23:03)</a>:</h4>
<p>oops I guess I skipped the documentation section</p>



<a name="203213873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203213873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203213873">(Jul 07 2020 at 23:03)</a>:</h4>
<p>I should add that</p>



<a name="203221630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203221630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203221630">(Jul 08 2020 at 01:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-07-07/near/203213752">said</a>:</p>
<blockquote>
<p>Phew okay blog post is written. Comments appreciated if anyone has any: <a href="https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ">https://hackmd.io/LxZbgS0NSNyydV_cH49HlQ</a></p>
</blockquote>
<p>Left a couple small comments/nitpicks, overall looks great! Thanks for writing it up :)</p>



<a name="203288614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203288614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203288614">(Jul 08 2020 at 16:18)</a>:</h4>
<p>Thanks for the comments <span class="user-mention" data-user-id="230601">@Nathan Whitaker</span></p>



<a name="203290647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-07-07/near/203290647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-07-07.html#203290647">(Jul 08 2020 at 16:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <a href="https://github.com/rust-lang/blog.rust-lang.org/pull/643">https://github.com/rust-lang/blog.rust-lang.org/pull/643</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>